Integrating functional modeling and trace-driven parallel debugging

For analyzing parallel and distributed programs, a systematic method for understanding the complex dynamic behavior of concurrent process interactions and dependencies is a must. Integrating functional modeling and trace-driven post-mortem debugging, we have developed a new approach for debugging parallel programs. Bevor executing measurements, a model is created for defining events systematically. After monitoring, it is used to check the monitored behavior vs. the modeled behavior and also for animating the monitored behavior.